An Abstract Tableau Calculus for the Description Logic SHOI Using UnrestrictedBlocking and Rewriting

Abstract This paper presents an abstract tableau calculus for the description logic SHOI. SHOI is the extension of ALC with singleton concepts, role inverse, transitive roles and role inclusion axioms. The presented tableau calculus is inspired by a recently introduced tableau synthesis framework. Termination is achieved by a variation of the unrestricted blocking mechanism that immediately rewrites terms with respect to the conjectured equalities. This approach leads to reduced search space for decision procedures based on the calculus. We also discuss restrictions of the application of the blocking rule by means of additional side conditions and/or additional premises.

Intranasal insulin to improve developmental delay in children with 22q13 deletion syndrome: an exploratory clinical trial

Background: The 22q13 deletion syndrome (Phelan– McDermid syndrome) is characterised by a global developmental delay, absent or delayed speech, generalised hypotonia, autistic behaviour and characteristic phenotypic features. Intranasal insulin has been shown to improve declarative memory in healthy adult subjects and in patients with Alzheimer disease. Aims: To assess if intranasal insulin is also able to improve the developmental delay in children with 22q13 deletion syndrome. Methods: We performed exploratory clinical trials in six children with 22q13 deletion syndrome who received intranasal insulin over a period of 1 year. Short-term (during the first 6 weeks) and long-term effects (after 12 months of treatment) on motor skills, cognitive functions, or autonomous functions, speech and communication, emotional state, social behaviour, behavioural disorders, independence in daily living and education were assessed. Results: The children showed marked short-term improvements in gross and fine motor activities, cognitive functions and educational level. Positive long-term effects were found for fine and gross motor activities, nonverbal communication, cognitive functions and autonomy. Possible side effects were found in one patient who displayed changes in balance, extreme sensitivity to touch and general loss of interest. One patient complained of intermittent nose bleeding. Conclusions: We conclude that long-term administration of intranasal insulin may benefit motor development, cognitive functions and spontaneous activity in children with 22q13 deletion syndrome

Intergenomic single nucleotide polymorphisms as a tool for bacterial artificial chromosome contig building of homoeologous Brassica napus regions

BACKGROUND: Homoeologous sequences pose a particular challenge if bacterial artificial chromosome (BAC) contigs shall be established for specific regions of an allopolyploid genome. Single nucleotide polymorphisms (SNPs) differentiating between homoeologous genomes (intergenomic SNPs) may represent a suitable screening tool for such purposes, since they do not only identify homoeologous sequences but also differentiate between them. RESULTS: Sequence alignments between Brassica rapa (AA) and Brassica oleracea (CC) sequences mapping to corresponding regions on chromosomes A1 and C1, respectively were used to identify single nucleotide polymorphisms between the A and C genomes. A large fraction of these polymorphisms was also present in Brassica napus (AACC), an allopolyploid species that originated from hybridisation of A and C genome species. Intergenomic SNPs mapping throughout homoeologous chromosome segments spanning approximately one Mbp each were included in Illumina’s GoldenGate® Genotyping Assay and used to screen multidimensional pools of a Brassica napus bacterial artificial chromosome library with tenfold genome coverage. Based on the results of 50 SNP assays, a BAC contig for the Brassica napus A subgenome was established that spanned the entire region of interest. The C subgenome region was represented in three BAC contigs. CONCLUSIONS: This proof-of-concept study shows that sequence resources of diploid progenitor genomes can be used to deduce intergenomic SNPs suitable for multiplex polymerase chain reaction (PCR)-based screening of multidimensional BAC pools of a polyploid organism. Owing to their high abundance and ease of identification, intergenomic SNPs represent a versatile tool to establish BAC contigs for homoeologous regions of a polyploid genome. ELECTRONIC SUPPLEMENTARY MATERIAL: The online version of this article (doi:10.1186/1471-2164-15-560) contains supplementary material, which is available to authorized users

Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments

Query answering is an important problem in AI, database and knowledge representation. In this paper, we develop saturation-based Boolean conjunctive query answering and rewriting procedures for the guarded, the loosely guarded and the clique-guarded fragments. Our query answering procedure improves existing resolution-based decision procedures for the guarded and the loosely guarded fragments and this procedure solves Boolean conjunctive query answering problems for the guarded, the loosely guarded and the clique-guarded fragments. Based on this query answering procedure, we also introduce a novel saturation-based query rewriting procedure for these guarded fragments. Unlike mainstream query answering and rewriting methods, our procedures derive a compact and reusable saturation, namely a closure of formulas, to handle the challenge of querying for distributed datasets. This paper lays the theoretical foundations for the first automated deduction decision procedures for Boolean conjunctive query answering and the first saturation-based Boolean conjunctive query rewriting in the guarded, the loosely guarded and the clique-guarded fragments